1. A tight, practical integration of relations and functions
Author: Harold Boley
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Logic programming,، Functional programming )Computer science(,، Relational databases
Classification :
QA
76
.
L28
Vol
.
1712
2. Adapting proofs-as-programs
Author: / Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Curry-Howard isomorphism,Proof theory,Logic, Symbolic and mathematical,Functional programming (Computer science),Lambda calculus,Abstract data types (Computer science),Electronic books. , local
Classification :
E-BOOK
3. Adapting proofs-as-programs
Author: / Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing., Poernomo, Iman Hafiz, 1976-
Library: Library of College of Science University of Tehran (Tehran)
Subject: Curry-Howard isomorphism., Proof theory., Logic, Symbolic and mathematical., Functional programming (Computer science),Lambda calculus.,Abstract data types (Computer science)
Classification :
QA
9
.
54
.
P64
2005
4. Adapting proofs-as-programs
Author: / Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Curry-Howard isomorphism.,Proof theory.,Logic, Symbolic and mathematical.,Functional programming (Computer science),Lambda calculus.,Abstract data types (Computer science)
Classification :
QA
,
9
.
54
,.
P64
,
2005
5. Adapting proofs-as-programs
Author: / Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Curry-Howard isomorphism,Proof theory,Logic, Symbolic and mathematical,Functional programming (Computer science,Lambda calculus,Abstract data types (Computer science
Classification :
E-BOOK
6. Algebraic and logic programming : 6th International Joint Conference, ALP'97-HOA'97, Southampton, UK, September 3-5, 1997 : proceedings
Author: Michael Hanus, Jan Heering, Karl Meinke, )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Logic programming,Congresses ، Algebraic logic,Congresses ، Rewriting systems )Computer science(
Classification :
QA
76
.
L28
Vol
.
1298
7. Computational Logic in Multi-Agent Systems
Author:
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Computer Science,Mathematical Logic and Formal Languages,Programming Languages, Compilers, Interpreters,علوم کامپیوتر
Classification :
E-Book
,
8. Computational intelligence for modelling, control & automation : intelligent image processing, data analysis & information retrieval
Author: edited by Masoud Mohammadian
Library: Central Library and Documentation Center (Kerman)
Subject: ، Evolutionary programming )Computer science(,، Fuzzy logic,، Automatic control,، Computational intelligence
Classification :
QA
7609
.
C6
1999
9. Constraint Solving and Language Processing
Author: edited by Denys Duchier, Yannick Parmentier.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer logic.,Computer science.,Information retrieval.,Mathematical logic.,Programming languages (Electronic computers).,Software engineering.
10. Constraint solving and language processing
Author: / Henning Christiansen, Peter Rossen Skadhauge, Jorgen Villadsen (eds.)
Library: Library of Campus2 Colleges of Engineering of Tehran University (Tehran)
Subject: Constraint programming (Computer science),Logic programming,Natural language processing (Computer science)
Classification :
QA
76
.
612
.
C637
2005
11. Constraint solving and language processing : First International Workshop, CSLP 2004, Roskilde, Denmark, September 1-3, 2004 : revised selected and invited papers
Author: Henning Christiansen, Peter Rossen Skadhauge, Jorgen Villadsen )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Constraint programming )Computer science(,Congresses ، Logic programming,Congresses ، Natural language processing )Computer science(
Classification :
QA
76
.
L28
Vol
.
3438
12. Constraint solving over multi-valued logics :
Author: Francisco Azevedo.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Constraint programming (Computer science),Digital electronics.,Many-valued logic.,COMPUTERS-- Programming-- Open Source.,COMPUTERS-- Software Development & Engineering-- General.,COMPUTERS-- Software Development & Engineering-- Tools.,Constraint programming (Computer science),Digital electronics.,Many-valued logic.
Classification :
QA76
.
612
.
A94
2003eb
13. Constraints in computational logics : theory and applications ; International Summer School, CCL'99 Gif-sur-Yvette, France, September 5-8, 1999 ; revised lectures
Author: Hubert Comon, Claude Marche, Ralf Treinen )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Constraint programming )Computer science(,، Logic programming
Classification :
QA
76
.
L28
Vol
.
2002
14. DLP : a language for distributed logic programming : design, semantics, and implementation
Author: Eliens, Anton.
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Logic programming )Computer science( , Electronic data processing - Distributed processing
Classification :
QA
76
.
63
.
E45
1992
15. Deep Learning with Python : A Hands-on Introduction
Author: Ketkar, Nikhil
Library: Library of Razi Metallurgical Research Center (Tehran)
Subject: ، Computer programming,، Computer science,، Computers,، Mathematical logic
Classification :
LB
2822
.
75
.
K88
2017
16. Discrete structures, logic, and computability
Author: James L. Hein
Library: Library and Information Center of Ayatollah Imani of Salman Farsi University (Fars)
Subject: Computer science, Mathematics,Logic programming,Data structures )Computer science(,Logic, Symbolic and mathematical,Computable functions
Classification :
QA
76
,.
9
.
H42D5
2010
17. Discrete structures, logic, and computability
Author: / James L. Hein
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Computer science--Mathematics,Logic programming,Data structures (Computer science),Logic, Symbolic and mathematical,Computable functions
Classification :
QA76
.
9
.
M35
,.
H44
2010
18. Discrete structures, logic, and computability
Author: James L. Hein
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Computer science -- Mathematics,، Logic programming,، Data structures )Computer science(,، Logic, Symbolic and mathematical,، Computable functions
Classification :
QA
76
.
9
.
M35H43
2010
19. Evolving Knowledge Bases
Author: \ Joao Alexandra Leite
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Logic programming.,Expert systems (Computer science),برنامهنویسی منطقی.,سیستمهای خبره (کامپیوتر),a03,a04,a03,a04
Classification :
E-Book
,
20. Evolving knowledge base
Author: / Jo?uo Alexandre Leite
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Logic programming.,Expert systems (Computer science)
Classification :
QA
,
76
.
63
,.
L48
,
2003eb
